Hence any formal system including the Sheffer stroke must also include a means of indicating grouping.
2.
For Quine, there is but one connective, the Sheffer stroke, and one quantifier, the universal quantifier.
3.
W . V . Quine's " Mathematical Logic " also made much of the Sheffer stroke.
4.
See Sheffer stroke and Sole sufficient operator-- C "'18 : 18, 23 September 2006 ( UTC)
5.
With the dot representing the Nand logical operation ( also known as the Sheffer stroke ), with the following meaning : " p"
6.
Sheffer introduced what is now known as the Sheffer stroke in 1913; it became well known only after its use in the 1925 edition of Russell's " Principia Mathematica ".
7.
In his 4.3 through 5.101, Wittgenstein adopts an unbounded Sheffer stroke as his fundamental logical entity and then lists all 16 functions of two variables ( 5.101 ).
8.
An example would be the " grade up " character, which had to be made from a " delta " ( shift-H ) and a " Sheffer stroke " ( shift-M ).
9.
Wittgenstein's N-operator is however an infinitary analogue of the Sheffer stroke, which applied to a set of propositions produces a proposition that is equivalent to the denial of every member of that set.
10.
:: : : : : The original quote from Sheffer stroke is " We will surely die if we do not have both food and water ", which clearly means we will die if we lack both.